Nuprl Definition : mkfpf 11,40

mkfpf(a;b) == <ab
latex


FDL editor aliasesmkfpf

origin